Preliminary implementation of with