Putting global logic first · Study