terminalliteralism has been saved