Logic extension