Add sat and #bind