redefined the formulars