P vs. NP and the Difficulty of Computation: A ruliological approach