finished the section on agency and abstraction of the RAP problem
fixed section issue in gfctp formulation