Properties in SL4