Flowing Logic