$MAGMA short now