It is then supposed that difference is valid, exists and is thinkable only within a pre existing Same which understands it as conceptual difference and determines it by means of opposition between predicates.