slides equality creation
equality slide 1 implementation