+Compare function is Finish (congratulation !! :) )

+define MARK which symbolize the null value in a pattern