Some logic finesse