yes = if p then s else return ()