Options all
Require None
Satisfy Any