The Amaya Axioms A Formal Framework for the Verification of Machine Consciousness | Synapse