winlogic spec