Started prob theory write-up