Fixed double / single elim distinction.