The following error message when Lifting
Module exact wrong