Abstract_operations