Factor out Va3c