Adding assumptions