Implement `for'