Input: Y are _ morphisms of local ringed sets.
Output: 

two