Assertions homework initial upload