information about Second-order logic field