freeze_transitive
