https://123deta.com/document/q5m795gw-light-logic-and-polynomial-time-computation.html