Could you document what pmf and category are? types, etc? I think we should enforce this documentation more.