PROOF UBUNTU