Can $BMT be empty?