Function law_valid_when_complete_and_consistent 

pub fn law_valid_when_complete_and_consistent() -> bool