Molecular Logic: A Half-Subtractor Based on Tetraphenylporphyrin [J. Am. Chem. Soc. 2003, 125, 11198−11199].