Thanks Avi. Actually, thinking about it, you could also do the same for a universal proposition. So 'No A is B' is equivalent to 'All A is non-B' logically speaking.