formalist.btc