2013/10/19 20:44
star-free

if only nights like this would be decidable.