Marit Holden

• Weak logic theory