# Formal Kan