bounded proposition