X^bt : p ...
X^bt : p ({NEPL....more