p → b