Error correction and degeneracy in surface codes suffering loss | Synapse