Text this: Formal Development of Rough Inclusion Functions.