Foliations are now fixed and verified!