3 Properties Available in Alice