P4SpecificationTest.cs #2