Options

Have we ruled out simple substitution unwisely?