Btor obestämdhet och många motsägelser ;i