Tag: Basic synchronous genartor theory