add provide operation
specify constraints