sprout doing green temporal logic