20120730 home.education: A logical approach