Class Logic1 updated.
Tests for Logic1 updated.