If all mops are tizzies and all tizzies are fazes then all mops are definitely fazes?