i have seen it done explicitly though but we can do it above too