Refuting Invertible Model (GCM only)

TBD