FA17: ELEMENTARY LOGIC: 29535