Discovering Mathematics with Magma: Reducing the Abstract to