remove redundant formal