added justification, typesystem slides