[JMS+Mani]