property-of-alpha-complete