Resolution criteria: YES if, before January 1, 2027, Petro's bare buttocks become the subject of a publicly available video or image that achieves greater public notoriety than Antanas Mockus's famous 1993 incident at the National University of Colombia.

The market will be resolved based on clear evidence of widespread public attention and media coverage. Otherwise, NO.