Proof-of-concept implementation of with()