Text this: On the system CL12 of computability logic