Prediction of membrane-protein topology from first principles | Synapse