Query: flip that coin once; it must be tails
Intent: utility:flip_coin