Assertion and ungreedy mode.