Discovering Mathematics with Magma Reducing the Abstract to the Concrete | EKB DL