Singular logic | AMiner