How much capital should banks have?