Li-Fan Chen
says to
YSITD
https://www.wikiwand.com/en/First-order_logic