"Randotron's algorithm is derived"