some notes on "with"