Discovering Mathematics with Magma:Reducing the Abstract to