Added satisfiesAny example