A realist about properties can straightforwardly extend first-order quantification to include predic...