Refactored redundant symbols