Without_loss_of_generality loading ...