Assumption Elem-2