P5x-theories