Learn from Bdd.