(P) :ok: Token to BDD