PanLinx: ex-post-facto law