A PLAIN LAW OF LOGIC B-256