A categorification of the Jones polynomial | Synapse