investigation
add corner case of starvation of Kant (it is commented out)