Properties in Proceno: 4