: P= : a.