No, because this is already implemented in `Basic`.