a =<* 3
