cyc-prove view 2