Sabelle view 1