_:b57457269 . _:b57457268 _:b57457269 . _:b57457269 "synthesis" . _:b57457268 .