If all togs are rogs, and all rogs are yogs, are all togs yogs?