de ' ^inalg ' c;