Added property proof