Properties in LE4