assumption check works now :)