Empty commit after rebasing (???
Functoriality of [forall].