DRY up Strategy

`if exp then true else false` is the same as `exp`, where `exp` is an expression