major change to the scheme. going to add the equality test to the
second part.