Options all Require None Satisfy Any