We use Decision Logic