Satisprove view 3