ConsistentBwl implementation