$MAGMA 0.153$ was mentioned.