Email Record: Studies and exercises in formal logic,