$! Scott mk_math with empty bs
D b (_. _. BOT)
C b