Second order logic