static transformable record Not(a) {}