++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
to be done in package RobRex	
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+formula interface