A Novel Method to Control Lambda Calculus and Byzantine Fault Tolerance Using Obole. Issue 3 (2018)