Philosophy, Neuroscience, Computer Science, Physics, Consciousness.
in a manner whereby in order for a procedure to to be rewritten, it must only meet some necessary computable properties (effectiveness, richness and consistency), and by rewriting the procedure, it meets all necessary computable properties (effectiveness, richness, consistency and completeness).