has-statement added