back to up to refl
Revert "back to up to refl"

This reverts commit 4b667d200e7f6a82e0f2cc53ae6816697ea7ac5f.
Revert "monotonic bis"

This reverts commit 3eedac1294e275b5ce67ce1ce0f439cf83af6f74.
refl