Added property test re 4 + 2