contra-positive to unix "cat"