logic Peterson is following