Explainable large language models & iContracts