The PropertyCross app implemented with Lavaca