add perceptron proof