Logic without bounds