first negations implemented. Grammar not implemented