cyc-prove view 3