^prop: `1`$