prove computer based