Note about reduced instances