Name: resultant intermediate