Certified boogie view 1