Assumption (ABVM)

x