Should you cover pinto beans while cooking?