bai-

Usage notes
For details on usage, see the main lemma.