Static Logic