Added source field for Proposition