try with sigmas
implemented last idea with forward/backward, works, except typchecking fails