use must syntax instead of assert