Worked on proving that there is always an active expression.