You searched for second order logic