Shadok' logic