use formal params