equals redefined
new attribute in main