Kind:
Gamma.
Done.
