compsi/229-fa13: proposal OCD
global: margins decreased
categories/basic: yoneda