everything except 01-problem and 01-definitions ok