magma domain renamed to rest