QuickCheck: Is the world's biggest waterfall underwater? | The Star