module B where
import T10897a

Single y = True