Properties in Difc