Satisprove view 1