* / 8 Btor föreställning.