notes on verification