some recurrent relations in procedural fashion