added the precondition to Gamma