tested the function signature system with a reduce procedure. appears to work correctly.