Ett formelt hinder för genomförande afden