Moar proof/edits