add equality and inequality checks. more VC workarounds.