first-order preferences