Finished equiv implementation
seq idiom
toggle all checkbox state, reorder