debug and verify