adding temporal statements only. Version 1