cyc-prove view 1