rewritten true/false U/I stuff

one overlap is correct already, bottom is right, top is wrong