Computation theory PSD