#structural logic