after a lot of thought, first skin reasoning about bdd instruction sequence was done