Use composite assumptions to remove an extra line