PanLinx: judge of fact