codingDecoding with existencial