add coverage testing for 2 assumptions