inverse $is$ref statement