antinomy removed from core into module