Better implementation for symbol annotations
Method mutability, attempt 1