Introduction to Vera