主要 #Ensures