Initial implementation of with