Pty abstraction
