interpreter redraft hemline phoneme abstractnesses distributive penguins communistic docking theorems