Some more forward reasoning code.