Better primitive abstraction = able to do more tests
Better primitive abstraction = able to do more tests