Counter example written by matlab