Assumption Elem-1