A test should be added to establish that this is correct. Two trivial corner cases for testing: full and no consistency