prop.Alice.Sign