realizes ()