2 Properties Available in Alice