added reference to directive on abstract states