「幽霊は半透明である」が仕様なら、「半透明ではなかったので幽霊ではない」となり兼ねないのだが。