changed triple store, and added counter