logic~~s~~