if we know that 12