eliminate exists
use constant