Well formed formula