bugfix (? -- might need to be re-fixed) to equality assertion definition...

Elaine please review these changes.