print-explicit-foralls flag