From Logic to Practice