(these materials are already declared below, these lines are reduncdant)