-

Did categorical logic talk. Eh.
Also turned in kernel.