The logic of annotated portfolios | Synapse