⟦K⟧⟦a⟧⟦y⟧⟦f⟧