Project: basic reduction implemented (still not works mystically).