Add ribs back to cooker, partially but not fully submerging them. Lock lid; close the pressure-release valve. Adjust to pressure-cook on high for 40 minutes. Quick-release pressure. Add carrots ...