Towards formal specif. finite element soft by Cate