Properties refined