Should be green
(
Should not be red
)