Beans cook in twenty minutes in the pressure cooker, instead of two hours.