adding variable givens for wacky conditionals