Programming Verified [extra Quality]