Add a check that our implementation is working as it should (consistency)