Do not Initalize satis as a test