Example showing how for_all is quite easy to replace