add hasdefaulted, change syntax...