Properties in Proceno: 3