Text this: PX, a computational logic /