user statement, attic support: implemented and tested.