This paper shows that a pro-cyclical risk-free rate can solve the problem of pro-cyclical defaults in ``costly state verification'' models. Using a partial equilibrium framework, the paper computes numerically the coefficients of a Taylor rule that delivers pro-cyclical output, pro-cyclical capital and counter-cyclical defaults. The parameter values found lie inside realistic confidence intervals of empirical estimates of Taylor rules available in the literature.