Some assert verification