Well formed formula

Summary