You searched for higher order logic