On formal non-commutative deformations of smooth varieties | Synapse