Reg: Equiv instead of Eq in properties