define `merely` using `Trunc` rather than `Tr`