Why Counterpossibles are Non-Trivial