OK: x has been forced