"To Be is to be a Value of a Variable (or to be Some Values of Some Variables)" - читать интересную книгу автора (Boolos George)