Arena forms Logic.