for shortness' sake