boolean logic (Explicit)

goals (Explicit)