Properties in EC4M