does not induce a strict weak
