How many movies have John Jencks and Kelly Sinclair Smith collaborated on?

They have not worked on any movies together...