Satisfying gjslint