Title: TRIPS reference manual