Stricter bounded_post