Btor , vacker , elog.