Tron består icke i antagandetaf