so formal and discrete