IMPLICIT LOGICAL