A little bit of verification