Abstract Terminal. Fix it up!