5 Properties Available in Alice