eliminated redundant x