1st draft of TESLA in Maude-NPA (Joy)