VERIFY
Results (after bug correction)