for x being object holds x .--> x = id {x}