Moving some stuff + bullshit + some nice small lemmas