t : ?- | a -I