interpreting Jainsim