follows #equality