Part of the technical difficulties arising in the development of these
concepts stems from the above-mentioned lack of unique choice in the core
logic; in particular, additional effort is required in the construction of
inductive datatypes and in setting up the theory of complete partial
However, in large plants, additional problems arise, as there is some
oxidation at the methyl group as well.
Although amelioration provided additional food, clothing, and medical
care, it was still not enough.
Sens 1 : as an extra
factor or circumstance.[Source : OD]