Adding with-cosy