some additions to Matheiu.ijs file