Implement pending step about pure value equality