Satisprove view 2