I don't like 'Ctrl' as an abbreviation