いやだから任意の式を許したとしてなにが難しいのか