1 Property Available in Assumption