Completed first working assertion