delta aspect of put, 1 assertions