r12-specification