fenics setting