consistent_but_weak