Non-Abelian Extension Theory for Lie Rings | Synapse