refactoring
give name to identifier
IsContractible, MakeContractible, MakeUncontractible