Programming with Mati