progress on STMLog