Logical reasoning PSD