Abadi Pras presentations