Should these two laws have `= a` instead of `= x`?