module ShouldSucceed where

t = 1+t
