This is actually a Productions since proof has been shown.