How many movies have Emmanuel Miranda and Lucas Krikorian collaborated on?

They have not worked on any movies together...