Variational Formulations, Complementarity, Edge Elements