Essays on consistency and implementation