M Abadi presentations