adding explained constraints