separate introduction of colors from projection (nabla)
Towards natural numbers example
ignore cubical executable