logos: server-side code written