Hacky fresh variables for Boolean