I think we need these 2 tests because they are feature tests that describe exactly the standard and are independent from the internal logic. If the implementation is altered they will always be compliant with the standard.