assert and require