generic first-order shallow argument