Some Trins are Grons. All Grons are Feps. Which must be true?