REevised Procedure and Boolean Functions.