"punched" - key terms from Wikipedia