FINISHED

added assert