print​-​explicit​-​foralls flag