Completed formally