Second order theory