properly consistent set