Input: A circle is a square
A circle is a shape

Output: first