writing def. of equality