some equality assertions