everywhere

fun everywhere(argument: Formula): EverywhereFormula