Btor , rymlig ,i