Basic implementation of validation
Use assert_list