add and format property labels
add property label and adapt proof
add property label
change property label and adapt proof
add property labels and adapt proofs
add property name and adapt proof
rename label and adapt proof