Båda hade Btor anslutning.