Define Formula#==