Commented specs of ma code