tortoise: implemented with. fixed and tested equality.