[□=□] □ □ □
[lemma=□] □ □ □
[word=□] □ □ □
The main effect of requiring certified personnel will be increased cost of software ( and it will still have bugs ! Wrapping include directives in different modules has the undesirable effect of requiring multiple implementations of the same operations that differ only in their qualified names .