They do, or at least, they should, I just pushed this check down into SoftwareSpec.