Definition: You are given a question on college computer science. You are also given 4 answer options (associated with "A", "B", "C", "D"), out of which only one is correct. You need to answer the question by selecting the correct option. You should only answer with the choice letter, not the whole answer.
Input: Consider the following equations concerning a stack module that has the operations Push, Pop, Top, and IsEmpty. Which of the equations does NOT represent the conventional semantics of a stack?
(A)IsEmpty(Push(Stack,Elem)) = true (B)Pop(Push(Stack,Elem)) = Stack (C)Top(Push(Stack,Elem)) = Elem (D)IsEmpty(Push(Push(Stack,Elem1),Elem2)) = false

A