minor commit
fix: typo, made a huge difference
fix: definition of [color] was wrong.
start one_buffer_case
fix: inequality notation was wrong.
one_buffer_case is defined