2nd order logic module created
LambdaTR is a mess currently
fix