MAGMA ACM Presentation 9.17