Ecency
An Overview of Second-Order Logical Problems