Notes on why this is less