QuickCheck: Is Malaysia home to the largest cave chamber in the world ...