Implement 'not' procedure by scheme