lowered transformer bounds