A decomposition theorem for supermartingales | Synapse