#for all #predicate logic #quantifier #exhaustive #holds for everything