Towards formal specif. finite element soft door Cate