added def of process, working def left quotient of process