synthesizing ivars
user state